منابع مشابه
idris-mode: Idris interaction with emacs
This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development environment for Idris programs in emacs. The goal of the ideslave mode is to provide from Idris a structured input and output command processor, which supports all features available in the command line version of the Idris compiler.
متن کاملMars- Northern hemisphere slopes and slope distributions
We investigate slope distributions in the northern hemisphere of Mars from topographic profiles collected by the Mars Orbiter Laser Altimeter. Analysis of the region from about 12øS to 82øN, over diverse geologic units, indicates that the range of regional-scale slopes is small, generally < 3 ø. Surface smoothness is most distinctive in the vast northern hemisphere plains, where slopes are typi...
متن کاملDepths, Orientation and Slopes of Martian Hillside Gullies in the Northern Hemisphere
Introduction: Martian gullies were first identified by Malin and Edgett [1]. Previous work [2] has examined the characteristics of gullies in the southern hemisphere in detail. Less detailed work has been done for the northern hemisphere [3,4]. Gullies are found predominantly in the midlatitudes of both hemispheres between 30°-50° [1,2], which implies a thermal control on their formation. Sever...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
romantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quarterly Journal of the Geological Society
سال: 1889
ISSN: 0370-291X
DOI: 10.1144/gsl.jgs.1889.045.01-04.30